Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
771	An Algorithm for Reachability Computations on Hybrid Automata Models of Protein Signaling Networks Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 20:11:24 Computer science Hybrid automaton State transition system Model checking Formal languages Automata theory Models of computation Theoretical computer science
772	DISTRIBUTED LTL MODEL-CHECKING Luboˇs Brim [removed] Parallel and Distributed Systems Laboratory Department of Computer Science Add to Reading List Source URL: fmics.inria.fr Language: English - Date: 2003-06-27 09:55:02 Parallel computing Graph Shortest path problem Distributed File System Graph theory Mathematics Theoretical computer science
773	M O D IST: Transparent Model Checking of Unmodiﬁed Distributed Systems Junfeng Yang◦∗ , Tisheng Chen‡ , Ming Wu‡ , Zhilei Xu‡ , Xuezheng Liu‡ Haoxiang Lin‡ , Mao Yang‡ , Fan Long† , Lintao Zhang‡∗ Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2011-12-05 14:08:55 Asynchronous I/O Input/output Scheduling Interposition Io Assertion Model checking Distributed computing Computer programming Computing Software engineering
774	LTL Goal Specifications Revisited Andreas Bauer and Patrik Haslum1 Abstract. The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constr Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-06-07 23:18:57 Logic Mathematical logic Semantics Model checking Model theory Interpretation Trace Temporal logic Linear temporal logic Mathematics
775	Practical Software Model Checking via Dynamic Interface Reduction Huayang Guo∗† Ming Wu† Lidong Zhou† Gang Hu∗† Junfeng Yang◦ Lintao Zhang† ∗ Tsinghua University Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2011-12-05 14:08:53 Phase transition Actor model Trace Concurrent computing Mathematics Model checking
776	ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]Efficient Software Model Checking of Data Structure Properties Paul T. Darga Chandrasekhar Boyapati Add to Reading List Source URL: web.eecs.umich.edu Language: English - Date: 2008-09-12 18:54:00 Binary trees Tree traversal Model checking Red–black tree Binary decision diagram Linked list Stack Invariant Class invariant Graph theory Mathematics Computing
777	Research Statement Junfeng Yang My goal is to make software systems reliable and secure. Today’s software systems are large, complex, and plagued with errors, some of which have caused critical system failures. My res Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2012-02-15 11:46:47 Software bugs Software testing Concurrent computing Systems engineering Model checking Thread Operating system Formal methods Debugging Computing Computer programming Software engineering
778	Discussion Article Rejoinder Andrew GELMAN I appreciate Buja’s generous comments and will briefly clarify some issues regarding the role of data visualization in model checking, and the relevance of Bayesian inference Add to Reading List Source URL: www-stat.wharton.upenn.edu Language: English - Date: 2007-10-12 17:48:09 Statistical inference Statistical theory Data analysis Scientific method Mixture model Graphical model Bayesian inference Regression analysis Quasi-likelihood Statistics Bayesian statistics Statistical models
779	Cost Effective Use of Formal Methods in Verification and Validation D. Richard Kuhn Ramaswamy Chandramouli National Institute of Standards and Technology Gaithersburg, MD[removed]Ricky W. Butler Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-26 01:00:00 Applied mathematics Formal verification Automated theorem proving Isabelle Formal specification Software development process KeY Model checking ACL2 Formal methods Theoretical computer science Science
780	Pseudo-Exhaustive Testing for Software D. Richard Kuhn and Vadim Okun National Institute of Standards and Technology Gaithersburg, MD[removed]removed] Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2007-10-09 01:00:00 Software development Model-based testing Orthogonal array testing Model checking Mutation testing Reliability engineering Test automation Unit testing Code coverage Software testing Statistics Software quality

UPDATE